121. The foundations of intuitionistic mathematics, especially in relation to recursive functions
پدیدآورنده : Kleene, Stephen Cole
کتابخانه: (طهران)
موضوع : ، Intuitionistic mathematics,، Recursive functions
رده :
QA
9
.
K648
122. The foundations of intuitionistic mathematics, especially in relation to recursive functions
پدیدآورنده : Kleene, Stephen Cole
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Mathematics,، Recursive functions
رده :
QA
248
.
5
.
K6
123. The foundations of intuitionistic mathematics, especially in relation to recursive functions
پدیدآورنده : Kleene, Stephen Cole
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Intuitionistic mathematics,، Recursive functions
رده :
QA
9
.
K648
124. The undecidable: basic papers on undecidable propositions, unsolvable problems, and computable functions
پدیدآورنده : edited by Martin Davis
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Gedel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
رده :
QA
9
.
65
.
U53
2004
125. The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions
پدیدآورنده : edited by Martin Davis
کتابخانه: (طهران)
موضوع : ، Godel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
رده :
QA
9
.
65
.
U53
126. Theory of computation
پدیدآورنده : Brainerd, Walter S
کتابخانه: (خراسان الجنوبیة)
موضوع : ، Sequential machine theory,، Recursive functions,، Programming languages ) Electronic computers (
رده :
QA
267
.
5
.
S4
B68
127. #Theory of computation
پدیدآورنده : #]by[ Walter S. Brainerd ]and[ Lawrence H. Landweber
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Sequential machine theory ،Recursive functions ،Programming languages )Electronic computers(
رده :
#
QA
،#.
S4
,
B68
128. Theory of computation
پدیدآورنده : Brainerd, Walter S
کتابخانه: (طهران)
موضوع : ، Sequential machine theory,، Recursive functions,، Programming languages )Electronic computers(
رده :
QA
267
.
5
.
S4
B68
129. Theory of formal systems
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Recursive functions,، Mathematics
رده :
QA
1
.
A626
no
.
47
130. Theory of formal systems /
پدیدآورنده : R.M. Smullyan.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,Recursive functions.,Logic, Symbolic and mathematical.,Mathematics.,Recursive functions.,SCIENCE-- System Theory.
رده :
QA248
.
5
131. Theory of recursive functions and effective computability
پدیدآورنده : Rogers, Hartley
موضوع : ، Recursive functions,، Computable functions
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
132. Theory of recursive functions and effective computability
پدیدآورنده : Rogers, Hartley
کتابخانه: (طهران)
موضوع : ، Recursive functions,، Computable functions
رده :
QA
248
.
5
.
R6
133. Theory of recursive functions and effective computability
پدیدآورنده : Rogers, Hartley
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Recursive functions,، Computable functions
رده :
QA
9
.
615
.
R64
1987
134. Theory of recursive functions & effective computability
پدیدآورنده : ROGERS,HARTLEY
کتابخانه: (طهران)
موضوع : RECURSIVE FUNCTIONS
رده :
QA
248
.
5
.
R6
135. معرفی بازگشتی نظریه محاسبات
پدیدآورنده : / تالیف کارل اسمیت,عنوان اصلی: A recursive introduction to the theory of computation, 1994.,اسمیت,Smith
کتابخانه: مكتبة العتبة المقدسة حضرة فاطمة معصومة علیها السلام (قم)
موضوع : برنامه‌نویسی,Computer programming,توابع بازگشتی,Recursive functions, -- داده‌پردازی, -- Data processing,a01,a03,a03
رده :
QA
۷۶
/
۶
/
الف
۴۷
م
۶ ۱۳۹۴
